English translation for "huang zhuo"

黄焯

Related Translations:

zhuo yunpeng:  周云鹏

huang manzhong:  黄满忠

huang xianwan:  黄贤媛

cheng huang:  程煌

shaoquan huang:  黄少泉

huang ying:  黄英

huang guliu:  黄谷柳

huang jianguo:  黄建国

zhilong huang:  黄志龙

huang chuanhui:  黄传会

Example Sentences:

1.

Huang zhuo ( computer software & theory ) directed by zhang jian the algorithms and tools to solve first - order logic model searching ( folms ) problem with finite domain size are studied in this thesis . the satisfiability ( sat ) problem in the prepositional logic and folms are classic problems of computer science , which are important in theory and have wide applications in a lot of real - world problems 命题逻辑可满足性( sat )问题和有限论域一阶逻辑模型搜索( folms )问题是计算机理论科学中的经典问题，不仅在理论上有着重要的地位，而且在许多实际问题中得到了广泛的应用。

Similar Words：

"huang zhongmin" English translation, "huang zhongquan" English translation, "huang zhongying" English translation, "huang zhu" English translation, "huang zhuliang" English translation, "huang zhuqia" English translation, "huang zi" English translation, "huang zicheng" English translation, "huang zijun" English translation, "huang zilian" English translation